bitkeeper revision 1.1389.5.27 (427c8e04Cw1QmPRFKoyXwgtFXzwXjA)
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Sat, 7 May 2005 09:44:36 +0000 (09:44 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Sat, 7 May 2005 09:44:36 +0000 (09:44 +0000)
Merge firebug.cl.cam.ac.uk:/local/scratch/kaf24/xen-2.0-testing.bk
into firebug.cl.cam.ac.uk:/local/scratch/kaf24/xen-unstable.bk

1  2 
linux-2.6.11-xen-sparse/arch/xen/configs/xenU_defconfig_x86_32

index 0ecf7968e21f64a9445a24fd1897f83f96313385,0000000000000000000000000000000000000000..478d4126696f9f486c0ae352a593aa1af6fa3646
mode 100644,000000..100644
--- /dev/null
@@@ -1,539 -1,0 +1,545 @@@
 +#
 +# Automatically generated make config: don't edit
 +# Linux kernel version: 2.6.11-xenU
 +# Wed May  4 17:14:10 2005
 +#
 +CONFIG_XEN=y
 +CONFIG_ARCH_XEN=y
 +CONFIG_NO_IDLE_HZ=y
 +
 +#
 +# XEN
 +#
 +# CONFIG_XEN_PRIVILEGED_GUEST is not set
 +# CONFIG_XEN_PHYSDEV_ACCESS is not set
 +CONFIG_XEN_BLKDEV_GRANT=y
 +CONFIG_XEN_BLKDEV_FRONTEND=y
 +CONFIG_XEN_NETDEV_FRONTEND=y
 +# CONFIG_XEN_NETDEV_FRONTEND_PIPELINED_TRANSMITTER is not set
 +# CONFIG_XEN_BLKDEV_TAP is not set
 +# CONFIG_XEN_SHADOW_MODE is not set
 +CONFIG_XEN_SCRUB_PAGES=y
 +CONFIG_XEN_X86=y
 +# CONFIG_XEN_X86_64 is not set
 +CONFIG_HAVE_ARCH_DEV_ALLOC_SKB=y
 +
 +#
 +# Code maturity level options
 +#
 +CONFIG_EXPERIMENTAL=y
 +CONFIG_CLEAN_COMPILE=y
 +CONFIG_BROKEN_ON_SMP=y
 +CONFIG_LOCK_KERNEL=y
 +
 +#
 +# General setup
 +#
 +CONFIG_LOCALVERSION=""
 +CONFIG_SWAP=y
 +CONFIG_SYSVIPC=y
 +# CONFIG_POSIX_MQUEUE is not set
 +# CONFIG_BSD_PROCESS_ACCT is not set
 +CONFIG_SYSCTL=y
 +# CONFIG_AUDIT is not set
 +CONFIG_LOG_BUF_SHIFT=14
 +CONFIG_HOTPLUG=y
 +CONFIG_KOBJECT_UEVENT=y
 +# CONFIG_IKCONFIG is not set
 +# CONFIG_EMBEDDED is not set
 +CONFIG_KALLSYMS=y
 +# CONFIG_KALLSYMS_ALL is not set
 +# CONFIG_KALLSYMS_EXTRA_PASS is not set
 +CONFIG_FUTEX=y
 +CONFIG_EPOLL=y
 +# CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
 +CONFIG_SHMEM=y
 +CONFIG_CC_ALIGN_FUNCTIONS=0
 +CONFIG_CC_ALIGN_LABELS=0
 +CONFIG_CC_ALIGN_LOOPS=0
 +CONFIG_CC_ALIGN_JUMPS=0
 +# CONFIG_TINY_SHMEM is not set
 +
 +#
 +# Loadable module support
 +#
 +CONFIG_MODULES=y
 +CONFIG_MODULE_UNLOAD=y
 +# CONFIG_MODULE_FORCE_UNLOAD is not set
 +CONFIG_OBSOLETE_MODPARM=y
 +# CONFIG_MODVERSIONS is not set
 +# CONFIG_MODULE_SRCVERSION_ALL is not set
 +CONFIG_KMOD=y
 +
 +#
 +# X86 Processor Configuration
 +#
 +CONFIG_XENARCH="i386"
 +CONFIG_X86=y
 +CONFIG_MMU=y
 +CONFIG_UID16=y
 +CONFIG_GENERIC_ISA_DMA=y
 +CONFIG_GENERIC_IOMAP=y
 +# CONFIG_M386 is not set
 +# CONFIG_M486 is not set
 +# CONFIG_M586 is not set
 +# CONFIG_M586TSC is not set
 +# CONFIG_M586MMX is not set
 +# CONFIG_M686 is not set
 +# CONFIG_MPENTIUMII is not set
 +# CONFIG_MPENTIUMIII is not set
 +# CONFIG_MPENTIUMM is not set
 +CONFIG_MPENTIUM4=y
 +# CONFIG_MK6 is not set
 +# CONFIG_MK7 is not set
 +# CONFIG_MK8 is not set
 +# CONFIG_MCRUSOE is not set
 +# CONFIG_MEFFICEON is not set
 +# CONFIG_MWINCHIPC6 is not set
 +# CONFIG_MWINCHIP2 is not set
 +# CONFIG_MWINCHIP3D is not set
 +# CONFIG_MCYRIXIII is not set
 +# CONFIG_MVIAC3_2 is not set
 +# CONFIG_X86_GENERIC is not set
 +CONFIG_X86_CMPXCHG=y
 +CONFIG_X86_XADD=y
 +CONFIG_X86_L1_CACHE_SHIFT=7
 +CONFIG_RWSEM_XCHGADD_ALGORITHM=y
 +CONFIG_GENERIC_CALIBRATE_DELAY=y
 +CONFIG_X86_WP_WORKS_OK=y
 +CONFIG_X86_INVLPG=y
 +CONFIG_X86_BSWAP=y
 +CONFIG_X86_POPAD_OK=y
 +CONFIG_X86_GOOD_APIC=y
 +CONFIG_X86_INTEL_USERCOPY=y
 +CONFIG_X86_USE_PPRO_CHECKSUM=y
 +# CONFIG_HPET_TIMER is not set
 +# CONFIG_HPET_EMULATE_RTC is not set
 +# CONFIG_SMP is not set
 +CONFIG_PREEMPT=y
 +CONFIG_PREEMPT_BKL=y
 +CONFIG_X86_CPUID=y
 +
 +#
 +# Firmware Drivers
 +#
 +# CONFIG_EDD is not set
 +CONFIG_NOHIGHMEM=y
 +# CONFIG_HIGHMEM4G is not set
 +CONFIG_HAVE_DEC_LOCK=y
 +# CONFIG_REGPARM is not set
 +
 +#
 +# Kernel hacking
 +#
 +CONFIG_DEBUG_KERNEL=y
 +CONFIG_MAGIC_SYSRQ=y
 +# CONFIG_SCHEDSTATS is not set
 +# CONFIG_DEBUG_SLAB is not set
 +# CONFIG_DEBUG_PREEMPT is not set
 +# CONFIG_DEBUG_SPINLOCK is not set
 +# CONFIG_DEBUG_SPINLOCK_SLEEP is not set
 +# CONFIG_DEBUG_KOBJECT is not set
 +CONFIG_DEBUG_BUGVERBOSE=y
 +# CONFIG_DEBUG_INFO is not set
 +# CONFIG_DEBUG_FS is not set
 +# CONFIG_FRAME_POINTER is not set
 +CONFIG_EARLY_PRINTK=y
 +# CONFIG_DEBUG_STACKOVERFLOW is not set
 +# CONFIG_KPROBES is not set
 +# CONFIG_DEBUG_STACK_USAGE is not set
 +# CONFIG_DEBUG_PAGEALLOC is not set
 +# CONFIG_4KSTACKS is not set
 +CONFIG_GENERIC_HARDIRQS=y
 +CONFIG_GENERIC_IRQ_PROBE=y
 +CONFIG_X86_BIOS_REBOOT=y
 +CONFIG_PC=y
 +
 +#
 +# Executable file formats
 +#
 +CONFIG_BINFMT_ELF=y
 +# CONFIG_BINFMT_AOUT is not set
 +# CONFIG_BINFMT_MISC is not set
 +
 +#
 +# Device Drivers
 +#
 +
 +#
 +# Generic Driver Options
 +#
 +CONFIG_STANDALONE=y
 +CONFIG_PREVENT_FIRMWARE_BUILD=y
 +# CONFIG_FW_LOADER is not set
 +# CONFIG_DEBUG_DRIVER is not set
 +
 +#
 +# Block devices
 +#
 +# CONFIG_BLK_DEV_FD is not set
 +# CONFIG_BLK_DEV_COW_COMMON is not set
 +CONFIG_BLK_DEV_LOOP=m
 +# CONFIG_BLK_DEV_CRYPTOLOOP is not set
 +CONFIG_BLK_DEV_NBD=m
 +CONFIG_BLK_DEV_RAM=y
 +CONFIG_BLK_DEV_RAM_COUNT=16
 +CONFIG_BLK_DEV_RAM_SIZE=4096
 +CONFIG_BLK_DEV_INITRD=y
 +CONFIG_INITRAMFS_SOURCE=""
 +# CONFIG_LBD is not set
 +# CONFIG_CDROM_PKTCDVD is not set
 +
 +#
 +# IO Schedulers
 +#
 +CONFIG_IOSCHED_NOOP=y
 +CONFIG_IOSCHED_AS=y
 +CONFIG_IOSCHED_DEADLINE=y
 +CONFIG_IOSCHED_CFQ=y
 +# CONFIG_ATA_OVER_ETH is not set
 +
 +#
 +# SCSI device support
 +#
 +CONFIG_SCSI=m
 +CONFIG_SCSI_PROC_FS=y
 +
 +#
 +# SCSI support type (disk, tape, CD-ROM)
 +#
 +CONFIG_BLK_DEV_SD=m
 +# CONFIG_CHR_DEV_ST is not set
 +# CONFIG_CHR_DEV_OSST is not set
 +# CONFIG_BLK_DEV_SR is not set
 +# CONFIG_CHR_DEV_SG is not set
 +
 +#
 +# Some SCSI devices (e.g. CD jukebox) support multiple LUNs
 +#
 +# CONFIG_SCSI_MULTI_LUN is not set
 +# CONFIG_SCSI_CONSTANTS is not set
 +# CONFIG_SCSI_LOGGING is not set
 +
 +#
 +# SCSI Transport Attributes
 +#
 +# CONFIG_SCSI_SPI_ATTRS is not set
 +# CONFIG_SCSI_FC_ATTRS is not set
 +# CONFIG_SCSI_ISCSI_ATTRS is not set
 +
 +#
 +# SCSI low-level drivers
 +#
 +# CONFIG_SCSI_SATA is not set
 +# CONFIG_SCSI_DEBUG is not set
 +
 +#
 +# Multi-device support (RAID and LVM)
 +#
 +# CONFIG_MD is not set
 +
 +#
 +# Networking support
 +#
 +CONFIG_NET=y
 +
 +#
 +# Networking options
 +#
 +CONFIG_PACKET=y
 +# CONFIG_PACKET_MMAP is not set
 +# CONFIG_NETLINK_DEV is not set
 +CONFIG_UNIX=y
 +# CONFIG_NET_KEY is not set
 +CONFIG_INET=y
 +# CONFIG_IP_MULTICAST is not set
 +# CONFIG_IP_ADVANCED_ROUTER is not set
 +CONFIG_IP_PNP=y
 +# CONFIG_IP_PNP_DHCP is not set
 +# CONFIG_IP_PNP_BOOTP is not set
 +# CONFIG_IP_PNP_RARP is not set
 +# CONFIG_NET_IPIP is not set
 +# CONFIG_NET_IPGRE is not set
 +# CONFIG_ARPD is not set
 +# CONFIG_SYN_COOKIES is not set
 +# CONFIG_INET_AH is not set
 +# CONFIG_INET_ESP is not set
 +# CONFIG_INET_IPCOMP is not set
 +# CONFIG_INET_TUNNEL is not set
 +CONFIG_IP_TCPDIAG=y
 +# CONFIG_IP_TCPDIAG_IPV6 is not set
 +# CONFIG_IPV6 is not set
 +# CONFIG_NETFILTER is not set
 +
 +#
 +# SCTP Configuration (EXPERIMENTAL)
 +#
 +# CONFIG_IP_SCTP is not set
 +# CONFIG_ATM is not set
 +# CONFIG_BRIDGE is not set
 +# CONFIG_VLAN_8021Q is not set
 +# CONFIG_DECNET is not set
 +# CONFIG_LLC2 is not set
 +# CONFIG_IPX is not set
 +# CONFIG_ATALK is not set
 +# CONFIG_X25 is not set
 +# CONFIG_LAPB is not set
 +# CONFIG_NET_DIVERT is not set
 +# CONFIG_ECONET is not set
 +# CONFIG_WAN_ROUTER is not set
 +
 +#
 +# QoS and/or fair queueing
 +#
 +# CONFIG_NET_SCHED is not set
 +# CONFIG_NET_CLS_ROUTE is not set
 +
 +#
 +# Network testing
 +#
 +# CONFIG_NET_PKTGEN is not set
 +# CONFIG_NETPOLL is not set
 +# CONFIG_NET_POLL_CONTROLLER is not set
 +# CONFIG_HAMRADIO is not set
 +# CONFIG_IRDA is not set
 +# CONFIG_BT is not set
 +CONFIG_NETDEVICES=y
 +# CONFIG_DUMMY is not set
 +# CONFIG_BONDING is not set
 +# CONFIG_EQUALIZER is not set
 +# CONFIG_TUN is not set
 +
 +#
 +# Ethernet (10 or 100Mbit)
 +#
 +# CONFIG_NET_ETHERNET is not set
 +
 +#
 +# Ethernet (1000 Mbit)
 +#
 +
 +#
 +# Ethernet (10000 Mbit)
 +#
 +
 +#
 +# Token Ring devices
 +#
 +
 +#
 +# Wireless LAN (non-hamradio)
 +#
 +# CONFIG_NET_RADIO is not set
 +
 +#
 +# Wan interfaces
 +#
 +# CONFIG_WAN is not set
 +# CONFIG_PPP is not set
 +# CONFIG_SLIP is not set
 +# CONFIG_SHAPER is not set
 +# CONFIG_NETCONSOLE is not set
 +CONFIG_UNIX98_PTYS=y
++CONFIG_LEGACY_PTYS=y
++CONFIG_LEGACY_PTY_COUNT=256
++
++#
++# Character devices
++#
 +
 +#
 +# File systems
 +#
 +CONFIG_EXT2_FS=y
 +# CONFIG_EXT2_FS_XATTR is not set
 +CONFIG_EXT3_FS=y
 +CONFIG_EXT3_FS_XATTR=y
 +# CONFIG_EXT3_FS_POSIX_ACL is not set
 +# CONFIG_EXT3_FS_SECURITY is not set
 +CONFIG_JBD=y
 +# CONFIG_JBD_DEBUG is not set
 +CONFIG_FS_MBCACHE=y
 +CONFIG_REISERFS_FS=y
 +# CONFIG_REISERFS_CHECK is not set
 +# CONFIG_REISERFS_PROC_INFO is not set
 +# CONFIG_REISERFS_FS_XATTR is not set
 +# CONFIG_JFS_FS is not set
 +
 +#
 +# XFS support
 +#
 +# CONFIG_XFS_FS is not set
 +# CONFIG_MINIX_FS is not set
 +# CONFIG_ROMFS_FS is not set
 +# CONFIG_QUOTA is not set
 +CONFIG_DNOTIFY=y
 +CONFIG_AUTOFS_FS=y
 +CONFIG_AUTOFS4_FS=y
 +
 +#
 +# CD-ROM/DVD Filesystems
 +#
 +CONFIG_ISO9660_FS=y
 +CONFIG_JOLIET=y
 +CONFIG_ZISOFS=y
 +CONFIG_ZISOFS_FS=y
 +# CONFIG_UDF_FS is not set
 +
 +#
 +# DOS/FAT/NT Filesystems
 +#
 +CONFIG_FAT_FS=m
 +CONFIG_MSDOS_FS=m
 +CONFIG_VFAT_FS=m
 +CONFIG_FAT_DEFAULT_CODEPAGE=437
 +CONFIG_FAT_DEFAULT_IOCHARSET="iso8859-1"
 +# CONFIG_NTFS_FS is not set
 +
 +#
 +# Pseudo filesystems
 +#
 +CONFIG_PROC_FS=y
 +CONFIG_PROC_KCORE=y
 +CONFIG_SYSFS=y
 +# CONFIG_DEVFS_FS is not set
 +CONFIG_DEVPTS_FS_XATTR=y
 +# CONFIG_DEVPTS_FS_SECURITY is not set
 +CONFIG_TMPFS=y
 +# CONFIG_TMPFS_XATTR is not set
 +# CONFIG_HUGETLBFS is not set
 +# CONFIG_HUGETLB_PAGE is not set
 +CONFIG_RAMFS=y
 +
 +#
 +# Miscellaneous filesystems
 +#
 +# CONFIG_ADFS_FS is not set
 +# CONFIG_AFFS_FS is not set
 +# CONFIG_HFS_FS is not set
 +# CONFIG_HFSPLUS_FS is not set
 +# CONFIG_BEFS_FS is not set
 +# CONFIG_BFS_FS is not set
 +# CONFIG_EFS_FS is not set
 +# CONFIG_CRAMFS is not set
 +# CONFIG_VXFS_FS is not set
 +# CONFIG_HPFS_FS is not set
 +# CONFIG_QNX4FS_FS is not set
 +# CONFIG_SYSV_FS is not set
 +# CONFIG_UFS_FS is not set
 +
 +#
 +# Network File Systems
 +#
 +CONFIG_NFS_FS=y
 +CONFIG_NFS_V3=y
 +# CONFIG_NFS_V4 is not set
 +# CONFIG_NFS_DIRECTIO is not set
 +# CONFIG_NFSD is not set
 +CONFIG_ROOT_NFS=y
 +CONFIG_LOCKD=y
 +CONFIG_LOCKD_V4=y
 +CONFIG_SUNRPC=y
 +# CONFIG_RPCSEC_GSS_KRB5 is not set
 +# CONFIG_RPCSEC_GSS_SPKM3 is not set
 +# CONFIG_SMB_FS is not set
 +# CONFIG_CIFS is not set
 +# CONFIG_NCP_FS is not set
 +# CONFIG_CODA_FS is not set
 +# CONFIG_AFS_FS is not set
 +
 +#
 +# Partition Types
 +#
 +# CONFIG_PARTITION_ADVANCED is not set
 +CONFIG_MSDOS_PARTITION=y
 +
 +#
 +# Native Language Support
 +#
 +CONFIG_NLS=y
 +CONFIG_NLS_DEFAULT="iso8859-1"
 +CONFIG_NLS_CODEPAGE_437=y
 +# CONFIG_NLS_CODEPAGE_737 is not set
 +# CONFIG_NLS_CODEPAGE_775 is not set
 +# CONFIG_NLS_CODEPAGE_850 is not set
 +# CONFIG_NLS_CODEPAGE_852 is not set
 +# CONFIG_NLS_CODEPAGE_855 is not set
 +# CONFIG_NLS_CODEPAGE_857 is not set
 +# CONFIG_NLS_CODEPAGE_860 is not set
 +# CONFIG_NLS_CODEPAGE_861 is not set
 +# CONFIG_NLS_CODEPAGE_862 is not set
 +# CONFIG_NLS_CODEPAGE_863 is not set
 +# CONFIG_NLS_CODEPAGE_864 is not set
 +# CONFIG_NLS_CODEPAGE_865 is not set
 +# CONFIG_NLS_CODEPAGE_866 is not set
 +# CONFIG_NLS_CODEPAGE_869 is not set
 +# CONFIG_NLS_CODEPAGE_936 is not set
 +# CONFIG_NLS_CODEPAGE_950 is not set
 +# CONFIG_NLS_CODEPAGE_932 is not set
 +# CONFIG_NLS_CODEPAGE_949 is not set
 +# CONFIG_NLS_CODEPAGE_874 is not set
 +# CONFIG_NLS_ISO8859_8 is not set
 +# CONFIG_NLS_CODEPAGE_1250 is not set
 +# CONFIG_NLS_CODEPAGE_1251 is not set
 +# CONFIG_NLS_ASCII is not set
 +CONFIG_NLS_ISO8859_1=y
 +# CONFIG_NLS_ISO8859_2 is not set
 +# CONFIG_NLS_ISO8859_3 is not set
 +# CONFIG_NLS_ISO8859_4 is not set
 +# CONFIG_NLS_ISO8859_5 is not set
 +# CONFIG_NLS_ISO8859_6 is not set
 +# CONFIG_NLS_ISO8859_7 is not set
 +# CONFIG_NLS_ISO8859_9 is not set
 +# CONFIG_NLS_ISO8859_13 is not set
 +# CONFIG_NLS_ISO8859_14 is not set
 +# CONFIG_NLS_ISO8859_15 is not set
 +# CONFIG_NLS_KOI8_R is not set
 +# CONFIG_NLS_KOI8_U is not set
 +# CONFIG_NLS_UTF8 is not set
 +
 +#
 +# Security options
 +#
 +# CONFIG_KEYS is not set
 +# CONFIG_SECURITY is not set
 +
 +#
 +# Cryptographic options
 +#
 +CONFIG_CRYPTO=y
 +# CONFIG_CRYPTO_HMAC is not set
 +# CONFIG_CRYPTO_NULL is not set
 +# CONFIG_CRYPTO_MD4 is not set
 +CONFIG_CRYPTO_MD5=m
 +# CONFIG_CRYPTO_SHA1 is not set
 +# CONFIG_CRYPTO_SHA256 is not set
 +# CONFIG_CRYPTO_SHA512 is not set
 +# CONFIG_CRYPTO_WP512 is not set
 +# CONFIG_CRYPTO_DES is not set
 +# CONFIG_CRYPTO_BLOWFISH is not set
 +# CONFIG_CRYPTO_TWOFISH is not set
 +# CONFIG_CRYPTO_SERPENT is not set
 +# CONFIG_CRYPTO_AES_586 is not set
 +# CONFIG_CRYPTO_CAST5 is not set
 +# CONFIG_CRYPTO_CAST6 is not set
 +# CONFIG_CRYPTO_TEA is not set
 +# CONFIG_CRYPTO_ARC4 is not set
 +# CONFIG_CRYPTO_KHAZAD is not set
 +# CONFIG_CRYPTO_ANUBIS is not set
 +# CONFIG_CRYPTO_DEFLATE is not set
 +# CONFIG_CRYPTO_MICHAEL_MIC is not set
 +CONFIG_CRYPTO_CRC32C=m
 +# CONFIG_CRYPTO_TEST is not set
 +
 +#
 +# Hardware crypto devices
 +#
 +# CONFIG_CRYPTO_DEV_PADLOCK is not set
 +
 +#
 +# Library routines
 +#
 +# CONFIG_CRC_CCITT is not set
 +# CONFIG_CRC32 is not set
 +CONFIG_LIBCRC32C=m
 +CONFIG_ZLIB_INFLATE=y